Erwin Strittmatter: Der Laden

Es laden ein : Die Dozenten der Informatik Informatik - Oberseminar

Learning algorithms are increasingly used in multiple disciplines of today's computer science reaching from robotics and formal verification to bioinformatics or natural language recognition. In this talk, we consider learning algorithms in the context of software development and verification. Two novel variants of learning algorithms will be presented. In the first part, we introduce NL* an al...

ESI The Erwin

We introduce a class of singular partial differential equations, the second-order hyperbolic Fuchsian systems, and we investigate the associated initial value problem when data are imposed on the singularity. First of all, we analyze a class of equations in which hyperbolicity is not assumed and we construct asymptotic solutions of arbitrary order. Second, for the proposed class of second-order...

ESI The Erwin Schr

ESI The Erwin

We prove that the space-time developments of generic solutions of the vacuum constraint Einstein equations do not possess any global or local Killing vectors, when Cauchy data are prescribed on an asymptotically flat Cauchy surface, or on a compact Cauchy surface with mean curvature close to a constant, or for CMC asymptotically hyperbolic initial data sets. More generally, we show that non-exi...

ESI The Erwin Schrödinger

The basic representation of the current group O(n, 1) X in the L 2 space over the generalized Lebesgue measure 1) ,